Automated Planning: Theory & Practice